Two-dimensional monadicity
نویسندگان
چکیده
منابع مشابه
Quantification and Second-Order Monadicity
treatment of quantification is rightly regarded as a major advance in the study of logic and language. But it led Frege and others to some views that we can and should reject, given developments in the study of transformational grammar and compositional semantics. Once these views are put aside, the developments suggest that the common logical form of sentences like (1) and (2) (1) Every bottle...
متن کاملSystematicity via Monadicity (draft 24Jan07)
Paul M. Pietroski (University of Maryland) Thinking requires concepts. Talking requires words. We humans have thoughts that are composed of concepts, which we can express with words that can be combined to form sentences, which we can use to express thoughts. I take this as given. But how are human concepts related to the words that children naturally acquire? Do words compose in the same way, ...
متن کاملOn two-dimensional Cayley graphs
A subset W of the vertices of a graph G is a resolving set for G when for each pair of distinct vertices u,v in V (G) there exists w in W such that d(u,w)≠d(v,w). The cardinality of a minimum resolving set for G is the metric dimension of G. This concept has applications in many diverse areas including network discovery, robot navigation, image processing, combinatorial search and optimization....
متن کاملConstructing Two-Dimensional Multi-Wavelet for Solving Two-Dimensional Fredholm Integral Equations
In this paper, a two-dimensional multi-wavelet is constructed in terms of Chebyshev polynomials. The constructed multi-wavelet is an orthonormal basis for space. By discretizing two-dimensional Fredholm integral equation reduce to a algebraic system. The obtained system is solved by the Galerkin method in the subspace of by using two-dimensional multi-wavelet bases. Because the bases of subs...
متن کاملOn the Monadicity of Categories with Chosen Colimits
There is a 2-category J -Colim of small categories equipped with a choice of colimit for each diagram whose domain J lies in a given small class J of small categories, functors strictly preserving such colimits, and natural transformations. The evident forgetful 2-functor from J -Colim to the 2-category Cat of small categories is known to be monadic. We extend this result by considering not jus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2014
ISSN: 0001-8708
DOI: 10.1016/j.aim.2013.11.007